Mapping non-conventional extensions of genetic programming

automatic verification of authentication protocols using genetic programming

implicit and unobserved errors and vulnerabilities issues usually arise in cryptographic protocols and especially in authentication protocols. this may enable an attacker to make serious damages to the desired system, such as having the access to or changing secret documents, interfering in bank transactions, having access to users’ accounts, or may be having the control all over the syste...

In Non - Monotonic Extensions of Logic Programming

We present a framework of logic programming using an explicit representation of defeats of assumptions, called assumption denials. We study semantics for extended, disjunctive, and extended disjunctive programs, all in the same framework. The framework is based on a x-point operator over \uninterpreted programs", and semantics for various kinds of programs are then deened simply by adding appro...

Adaptable Constrained Genetic Programming: Extensions and Applications

An evolutionary algorithm applies evolution-based principles to problem solving. To solve a problem, the user defines the space of potential solutions, the representation space. Sample solutions are encoded in a chromosome-like structure. The algorithm maintains a population of such samples, which undergo simulated evolution by means of mutation, crossover, and survival of the fittest principle...

Probabilistic Adaptive Mapping Developmental Genetic Programming

An Adaptive Mapping for Developmental Genetic Programming

In this article we introduce a general framework for constructing an adaptive genotype-to-phenotype mapping, and apply it to developmental genetic programming. In this preliminary investigation, we run a series of comparative experiments on a simple test problem. Our results show that the adaptive algorithm is able to outperform its non-adaptive counterpart.